Fundraising September 15, 2024 – October 1, 2024 About fundraising
1

Constraint relaxation may be perfect

Year:
1991
Language:
english
File:
PDF, 1.21 MB
english, 1991
2

Heuristically guided search and chromosome matching

Year:
1970
Language:
english
File:
PDF, 1.54 MB
english, 1970
3

An Efficient Unification Algorithm

Year:
1982
Language:
english
File:
PDF, 1.20 MB
english, 1982
4

Petri nets are monoids

Year:
1990
Language:
english
File:
PDF, 2.90 MB
english, 1990
5

Soft concurrent constraint programming

Year:
2006
Language:
english
File:
PDF, 349 KB
english, 2006
6

An abstract machine for concurrent modular systems: CHARM

Year:
1994
Language:
english
File:
PDF, 2.70 MB
english, 1994
7

A survey of constraint-based programming paradigms

Year:
2008
Language:
english
File:
PDF, 967 KB
english, 2008
9

About permutation algebras, (pre)sheaves and named sets

Year:
2006
Language:
english
File:
PDF, 464 KB
english, 2006
12

Separable graphs, planar graphs and web grammars

Year:
1970
Language:
english
File:
PDF, 1.18 MB
english, 1970
14

A Game-Theoretic Analysis of Grid Job Scheduling

Year:
2012
Language:
english
File:
PDF, 295 KB
english, 2012
15

Semiring-based constraint satisfaction and optimization

Year:
1997
Language:
english
File:
PDF, 478 KB
english, 1997
17

Dynamic Programming as Graph Searching: An Algebraic Approach

Year:
1981
Language:
english
File:
PDF, 816 KB
english, 1981
20

Optimizing decision trees through heuristically guided search

Year:
1978
Language:
english
File:
PDF, 1.15 MB
english, 1978
21

Concurrent histories: A basis for observing distributed systems

Year:
1987
Language:
english
File:
PDF, 2.13 MB
english, 1987
22

Optimal matching of wheat chromosomes

Year:
1974
Language:
english
File:
PDF, 1.47 MB
english, 1974
23

Preface

Year:
1992
Language:
english
File:
PDF, 51 KB
english, 1992
25

On the implementation of concurrent calculi in net calculi: two case studies

Year:
1995
Language:
english
File:
PDF, 3.79 MB
english, 1995
26

Location equivalence in a parametric setting

Year:
1995
Language:
english
File:
PDF, 2.30 MB
english, 1995
32

G-Reactive Systems as Coalgebras

Year:
2008
Language:
english
File:
PDF, 408 KB
english, 2008
33

Shaped Hierarchical Architectural Design

Year:
2004
Language:
english
File:
PDF, 312 KB
english, 2004
34

Web Services and Models of Computation

Year:
2004
Language:
english
File:
PDF, 136 KB
english, 2004
38

A Name Abstraction Functor for Named Sets

Year:
2008
Language:
english
File:
PDF, 407 KB
english, 2008
39

A Coalgebraic Theory of Reactive Systems

Year:
2008
Language:
english
File:
PDF, 345 KB
english, 2008
41

Structured coalgebras and minimal HD-automata for the -calculus

Year:
2005
Language:
english
File:
PDF, 427 KB
english, 2005
42

Quantitative μ-calculus and CTL defined over constraint semirings

Year:
2005
Language:
english
File:
PDF, 241 KB
english, 2005
43

A basic algebra of stateless connectors

Year:
2006
Language:
english
File:
PDF, 419 KB
english, 2006
44

Preface

Year:
2008
Language:
english
File:
PDF, 142 KB
english, 2008
45

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

Year:
2009
Language:
english
File:
PDF, 1.55 MB
english, 2009
46

Compositional SOS and beyond: a coalgebraic view of open systems

Year:
2002
Language:
english
File:
PDF, 252 KB
english, 2002
47

Normal forms for algebras of connections

Year:
2002
Language:
english
File:
PDF, 392 KB
english, 2002
48

Comparing logics for rewriting: rewriting logic, action calculi and tile logic

Year:
2002
Language:
english
File:
PDF, 385 KB
english, 2002
49

Dynamic connectors for concurrency

Year:
2002
Language:
english
File:
PDF, 384 KB
english, 2002
50

A π-calculus with explicit substitutions

Year:
1996
Language:
english
File:
PDF, 3.59 MB
english, 1996